JIPSEN, PETER: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS

ANDRÉKA, HAJNAL, GIVANT, STEVEN, JIPSEN, PETER, NÉMETI, ISTVÁN

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 304 KB

english, 2017

2

Residuated frames with applications to decidability

Galatos, Nikolaos, Jipsen, Peter

Journal:

Transactions of the American Mathematical Society

Year:

2012

Language:

english

File:

PDF, 420 KB

english, 2012

3

Distributive residuated frames and generalized bunched implication algebras

Galatos, Nikolaos, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

4

Relational and algebraic methods in computer science

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 197 KB

english, 2016

5

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 12062 (18th International Conference, RAMiCS 2020, Palaiseau, France, April 8â11, 2020, Proceedings) ||

Fahrenberg, Uli, Jipsen, Peter, Winter, Michael

Year:

2020

Language:

english

File:

PDF, 10.88 MB

english, 2020

6

Concurrent Kleene algebra with tests and branching automata

Jipsen, Peter, Moshier, M. Andrew

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

7

From Semirings to Residuated Kleene Lattices

Journal:

Year:

2004

File:

PDF, 1.76 MB

2004

8

Generating all finite modular lattices of a given size

Jipsen, Peter, Lawless, Nathan

Journal:

Algebra Universalis

Year:

2015

Language:

english

File:

PDF, 563 KB

english, 2015

9

On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2017

Language:

english

File:

PDF, 555 KB

english, 2017

10

Algebra and Substructural Logics: Take Two Part 2 || Algebraic Aspects of Cut Elimination

Francesco Belardinelli, Peter Jipsen and Hiroakira Ono

Journal:

Year:

2004

Language:

english

File:

PDF, 3.30 MB

english, 2004

11

Distributive laws in residuated binars

Fussner, Wesley, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2019

Language:

english

File:

PDF, 397 KB

english, 2019

12

Rudin-Keisler Posets of Complete Boolean Algebras

Peter Jipsen, Alexander Pinus, Henry Rose

Journal:

Mathematical Logic Quarterly

Year:

2001

Language:

english

File:

PDF, 152 KB

english, 2001

13

Relation algebras as expanded FL-algebras

Nikolaos Galatos, Peter Jipsen

Journal:

Algebra Universalis

Year:

2013

Language:

english

File:

PDF, 323 KB

english, 2013

14

Distributive laws in residuated binars

Fussner, Wesley, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2019

File:

PDF, 397 KB

2019

15

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 8428 || On Faults and Faulty Programs

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Year:

2014

Language:

english

File:

PDF, 258 KB

english, 2014

16

Recent Developments related to Residuated Lattices and Substructural Logics || Preface

Nikolaos Galatos, Peter Jipsen and Hiroakira Ono

Journal:

Year:

2012

Language:

english

File:

PDF, 471 KB

english, 2012

17

Algebraic Aspects of Cut Elimination

Francesco Belardinelli, Peter Jipsen, Hiroakira Ono

Journal:

Year:

2004

File:

PDF, 1.69 MB

2004

18

Partition Complete Boolean Algebras and Almost Compact Cardinals

Peter Jipsen, Henry Rose

Journal:

Mathematical Logic Quarterly

Year:

1999

Language:

english

File:

PDF, 935 KB

english, 1999

19

Nonassociative right hoops

Jipsen, Peter, Kinyon, Michael

Journal:

Algebra Universalis

Year:

2019

Language:

english

File:

PDF, 294 KB

english, 2019

20

The structure of generalized BI-algebras and weakening relation algebras

Galatos, Nikolaos, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2020

File:

PDF, 495 KB

2020

21

Structure theorems for idempotent residuated lattices

Gil-FÃ©rez, JosÃ©, Jipsen, Peter, Metcalfe, George

Journal:

Algebra Universalis

Year:

2020

File:

PDF, 482 KB

2020

22

Periodic lattice-ordered pregroups are distributive

Galatos, Nikolaos, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2012

Language:

english

File:

PDF, 205 KB

english, 2012

23

Topological duality and lattice expansions, I: A topological construction of canonical extensions

Moshier, M. Andrew, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2014

Language:

english

File:

PDF, 256 KB

english, 2014

24

Preface

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono

Journal:

Year:

2012

Language:

english

File:

PDF, 100 KB

english, 2012

25

Topological duality and lattice expansions, II: Lattice expansions with quasioperators

Moshier, M. Andrew, Jipsen, Peter

Journal:

Algebra Universalis

Year:

2014

Language:

english

File:

PDF, 263 KB

english, 2014

26

[Lecture Notes in Mathematics] Varieties of Lattices Volume 1533 || General results

Jipsen, Peter, Rose, Henry

Year:

1992

Language:

english

File:

PDF, 2.96 MB

english, 1992

27

[Lecture Notes in Mathematics] Varieties of Lattices Volume 1533 || Amalgamation in lattice varieties

Jipsen, Peter, Rose, Henry

Year:

1992

Language:

english

File:

PDF, 1.82 MB

english, 1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски